general distributivity

无限分配性